#include <ProcessThread/ProcessThread.h>

LPThreadControlBlock FetchTCBFromQueue(LPTCBQUEUE lpTCBQueue)
{
    KERNEL_ASSERT(lpTCBQueue, "lpTCBQueue is NULL\r\n.");
    LPThreadControlBlock lpRet = lpTCBQueue->lpNext;
    LPThreadControlBlock lpNext = lpRet->lpNext;
    lpTCBQueue->lpNext = lpNext;
    lpNext->lpPrev = lpTCBQueue;
    return lpRet;
}